Change tasklet implementation so that tasklet_kill() does not have to
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Apr 2008 09:19:58 +0000 (10:19 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Apr 2008 09:19:58 +0000 (10:19 +0100)
commita29af79e4ecf404bbd084b7b39cf139b963982ea
tree220366dfa75fcc2ed737c19a733c1dd14f8809a1
parent8a7a02ee55bfd1861ae79d191215c8ccd79c3d78
Change tasklet implementation so that tasklet_kill() does not have to
busy-wait for softirq work to start. This reduces the possibility of
deadlocks, but the implementation is now less efficient. For the
current few users of tasklets this does not matter.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/common/softirq.c
xen/include/xen/softirq.h